using System;
using System.IO;
using Microsoft.Pex.Framework;

namespace MicroBenchmarks.WifeHusband
{
    public class Father
    {
        private int money;

        private Child child;

        public Father(int money)
        {
            this.money = money;
        }

        private Wife wife;

        public void Marry()
        {
            wife = new Wife();
        }

        public void MakeWifeHappy()
        {
            if (wife != null)
            {
                wife.Happiness = 5;
            }
        }

        public void SetMoney(int value)
        {
            money = value;
        }

        public void SetChild(Child value)
        {
            child = value;
        }

        public bool IsChildGood()
        {
            if (child.IsLargerThanFive())
            {
                return true;
            }
            return false;
        }

        public bool IsSelfGood()
        {
            bool b = child.IsLargerThanFive();
            if (wife != null && wife.Happiness > 5)
            {
                return true;
            }
            return false;
        }
    }

    public class Wife
    {
        private int happiness;

        public int Happiness
        {
            get { return happiness; }
            set { happiness = value; }
        }
    }    
}